results for Robinson arithmetic